Data Types as Algorithms

— This paper présents a simplified construction of an algorithm space. The intuitive notion ofan algorithm collection goes back to Nolin 1974. Our goal is her e to formalize and simplify this présentation of algorithm theory. The introduction of a computability notion was induced by the utilization of bundie theory. We build an enumerable algorithm space where ever y object is computable. Résumé. — Le présent mémoire décrit une construction simplifiée d'un espace d'algorithmes. La notion intuitive de collection d'algorithmes est due à Nolin (1974). Le but a été ici de formaliser et simplifier sa présentation dune part, et de l'enrichir de la notion de calculabilité par le biais de tutilisation des faisceaux d'autre part. On construit un espace d'algorithme dénombrable dans laquelle tous les objets sont calculables.